翻訳と辞書 Words near each other ・ Vericeras ・ Verich ・ VeriChip ・ Vericon ・ Vericor Power Systems ・ Vericut ・ VERIDIA ・ Veridian ・ Veridian Credit Union ・ Veridical dream ・ Veridicality ・ Veriexec ・ VeriFace ・ Verifax copier ・ Verifiable computing ・ Verifiable random function ・ Verifiable secret sharing ・ Verification ・ Verification (audit) ・ Verification (spaceflight) ・ Verification and validation ・ Verification and validation of computer simulation models ・ Verification bias ・ Verification condition generator ・ Verification of employment ・ Verification-based message-passing algorithms in compressed sensing ・ Verificationism ・ Verified Audit Circulation ・ Verified Carbon Standard ・ Verified-Accredited Wholesale Distributors Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Verifiable random function ： ウィキペディア英語版 Verifiable random function In cryptography, the concept of a verifiable random function was introduced by Micali, Rabin, and Vadhan. It is a pseudo-random function that provides publicly verifiable proofs of its outputs' correctness. Given an input value ''x'', the owner of the secret key SK can compute the function value ''y'' = ''F''SK(''x'') and the proof ''p''SK(''x''). Using the proof and the public key $PK\; =\; g^$, everyone can check that the value ''y'' = ''F''SK(''x'') was indeed computed correctly, yet this information cannot be used to find the secret key. The original construction was rather inefficient. Recently, an efficient and practical verifiable random function was proposed by Yevgeniy Dodis and Aleksandr Yampolskiy. In their construction, :$F\_(x)\; =\; e(g,\; g)^\; \backslash quad\backslash mbox\backslash quad\; p\_(x)\; =\; g^,$ where ''e''(·,·) is a bilinear map. To verify whether $F\_(x)$ was computed correctly or not, one can check if $e(g^x\; PK,\; p\_(x))=e(g,g)$. The proof of security relies on a new decisional bilinear Diffie-Hellman inversion assumption, which asks given $(g,\; g^,\; \backslash ldots,\; g^,\; R)$ as input to distinguish $R=e(g,g)^$ from random. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Verifiable random function」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.